Exercise logic.propositional.consequence
Description
Prove that formula is a logical consequence of a set of formulas
Code | logic.propositional.consequence |
Status | Experimental |
Strategy | consequence |
Rules | 36 |
Buggy rules | 0 |
OpenMath support | yes |
Restartable strategy | yes |
Exercise generator | no |
Examples | 24 |